<?php

/*获取path_info*/
if (preg_match('/^(.+?\.php)(\/.+)$/', $workerman_url_info['path'], $matches)) {
    $workerman_url_info['path'] = $matches[1];
    $_SERVER['PATH_INFO'] = $matches[2];
}
var_dump($matches);
